| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Algorithmic Foundations of Datascience | Fach-/Modulprüfung | 6 | 558118 | Di 10.02.2026 13:30-15:00 AOC (2020|131) Roter Hörsaal AM (Ro) (1420|002) Mi 11.03.2026 13:30-15:00 Grüner Hörsaal AM (Gr) (1420|001) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 558119 | Di 16:30-18:00 AH I (2350|028) (×11) Mi 08:30-10:00 AH I (2350|028) (×13) | |||
| Übung | 558120 | Do 12:30-14:00 IPC Hörsaal (2400|U101) (×15) | |||
| Algorithmische Modelltheorie I | Fach-/Modulprüfung | 9 | 541304 | ||
| Compilerbau | Fach-/Modulprüfung | 6 | 541246 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 542473 | ||
| Effiziente Algorithmen | Fach-/Modulprüfung | 6 | 540923 | ||
| Erfüllbarkeitsüberprüfung | Fach-/Modulprüfung | 6 | 541500 | ||
| Vorlesung/Übung | 537540 | Mi 08:30-10:00 AH IV (2354|030) (×13) Do 10:30-12:00 AH V (2356|050) (×14) Fr 12:30-13:15 5056 (2356|056) (×14) | |||
| Introduction to Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 544572 | Mi 25.02.2026 12:00-14:00 Großer Hörsaal AM (1420|210) H01 (1385|101) Mo 23.03.2026 12:00-13:30 H01 (1385|101) | |
| Vorlesung/Übung | 536793 | Di 10:30-12:00 AH IV (2354|030) (×13) Mi 10:30-12:00 AH IV (2354|030) (×15) | |||
| Komplexitätstheorie | Fach-/Modulprüfung | 6 | 541541 | ||
| Vorlesung | 557994 | Mi 08:30-10:00 AH III (2350|314.1) (×12) Do 16:30-18:00 AH II (2350|111) (×9) | |||
| Übung | 557995 | Mi 14:30-16:00 AH II (2350|111) (×12) | |||
| Lineare Optimierung und Netzwerkalgorithmen | Fach-/Modulprüfung | 9 | 542589 | Di 24.02.2026 13:00-15:00 Grüner Hörsaal AM (Gr) (1420|001) Roter Hörsaal AM (Ro) (1420|002) Di 31.03.2026 09:00-11:00 Grüner Hörsaal AM (Gr) (1420|001) Roter Hörsaal AM (Ro) (1420|002) | |
| Vorlesung | 539296 | Mi 16:30-18:00 V (1010|213) (×15) Do 10:30-12:00 V (1010|213) (×15) | |||
| Übung | 538933 | Mo 16:30-18:00 V (1010|213) (×14) Di 14:30-16:00 V (1010|213) (×15) Do 12:30-14:00 Be 114 (1140|114) (×14) Fr 10:30-12:00 IV (1010|141) (×14) | |||
| Machine Learning with Graphs: Foundations and Applications | Fach-/Modulprüfung | 6 | 558736 | Di 03.03.2026 09:00-10:30 HKW 2 (1132|303) Do 02.04.2026 09:00-10:30 AH VI (2356|051) | |
| Vorlesung/Übung | 557902 | Mo 08:30-10:00 H05 (1385|105) (×15) Mi 12:30-14:00 IPC Hörsaal (2400|U101) (×15) Fr 12:30-14:00 H05 (1385|105) (×15) | |||
| Mathematische Logik II | Fach-/Modulprüfung | 6 | 541301 | ||
| Model Checking | Fach-/Modulprüfung | 6 | 544576 | Mo 09.02.2026 09:00-11:00 Großer Hörsaal AM (1420|210) Grüner Hörsaal AM (Gr) (1420|001) Di 10.03.2026 09:00-11:00 Großer Hörsaal AM (1420|210) | |
| Vorlesung | 537573 | Mi 12:30-14:00 AH III (2350|314.1) (×13) Do 10:30-12:00 AH I (2350|028) (×14) | |||
| Übung | 536600 | Fr 14:30-16:00 AH III (2350|314.1) (×13) |